Max Planck

Results: 3130



#Item
131Formalizing the Concurrency Semantics of an LLVM Fragment Soham Chakraborty Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS), Germany

Formalizing the Concurrency Semantics of an LLVM Fragment Soham Chakraborty Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS), Germany

Add to Reading List

Source URL: plv.mpi-sws.org

- Date: 2016-12-07 07:19:23
    132Explaining Relaxed Memory Models with Program Transformations Ori Lahav and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. Weak memory models determine the behavior of concurrent

    Explaining Relaxed Memory Models with Program Transformations Ori Lahav and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. Weak memory models determine the behavior of concurrent

    Add to Reading List

    Source URL: plv.mpi-sws.org

    - Date: 2016-09-05 11:10:34
      133Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for

      Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for

      Add to Reading List

      Source URL: plv.mpi-sws.org

      - Date: 2017-01-19 08:43:04
        134Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte

        Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte

        Add to Reading List

        Source URL: data.rg.mpg.de

        - Date: 2016-08-17 09:42:42
          135Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte

          Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte

          Add to Reading List

          Source URL: data.rg.mpg.de

          - Date: 2016-08-17 09:42:42
            136Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte

            Rg Rechts geschichte Zeitschri des Max-Planck-Instituts für europäische Rechtsgeschichte

            Add to Reading List

            Source URL: data.rg.mpg.de

            - Date: 2016-08-17 09:42:43
              137Max Planck Institute for Demographic Research Konrad-Zuse-Str. 1, 18057 Rostock - Germany +secretary’s office) http://www.censusmosaic.org MOSAIC WORKING PAPER WP2012-007

              Max Planck Institute for Demographic Research Konrad-Zuse-Str. 1, 18057 Rostock - Germany +secretary’s office) http://www.censusmosaic.org MOSAIC WORKING PAPER WP2012-007

              Add to Reading List

              Source URL: hauster.de

              - Date: 2015-09-03 11:17:09
                138¨ biologische Kybernetik Max–Planck–Institut fur Max Planck Institute for Biological Cybernetics Technical Report No. TR-149

                ¨ biologische Kybernetik Max–Planck–Institut fur Max Planck Institute for Biological Cybernetics Technical Report No. TR-149

                Add to Reading List

                Source URL: www.cs.cmu.edu

                - Date: 2008-10-09 14:59:32
                  139Towards Robot Skill Learning: From Simple Skills to Table Tennis Jan Peters, Jens Kober, Katharina Mülling, Oliver Krömer, Gerhard Neumann Technische Universität Darmstadt, 64293 Darmstadt, Germany Max Planck Institut

                  Towards Robot Skill Learning: From Simple Skills to Table Tennis Jan Peters, Jens Kober, Katharina Mülling, Oliver Krömer, Gerhard Neumann Technische Universität Darmstadt, 64293 Darmstadt, Germany Max Planck Institut

                  Add to Reading List

                  Source URL: www.ias.informatik.tu-darmstadt.de

                  - Date: 2013-06-26 08:56:21
                    140FREQUENCY DOMAIN SYSTEM IDENTIFICATION OF A LIGHT HELICOPTER IN HOVER a ¨ Stefano Geluardia,b , Frank M. Nieuwenhuizena , Lorenzo Pollinib and Heinrich H. Bulthoff a Max Planck Institute for Biological Cybernetics, T¨

                    FREQUENCY DOMAIN SYSTEM IDENTIFICATION OF A LIGHT HELICOPTER IN HOVER a ¨ Stefano Geluardia,b , Frank M. Nieuwenhuizena , Lorenzo Pollinib and Heinrich H. Bulthoff a Max Planck Institute for Biological Cybernetics, T¨

                    Add to Reading List

                    Source URL: www.mycopter.eu

                    - Date: 2014-07-28 06:57:34